A Method Combined with Data Flow Constraint for Generating Mutation Test Cases
نویسندگان
چکیده
منابع مشابه
Constraint Solving for Generating Glass-Box Test Cases
Glass-box testing tries to cover paths through the tested code, based on a given criterion such as def-use chain coverage. When generating glass-box test cases manually, the user is likely to overlook some def-use chains. Moreover it is difficult to find suitable test cases which cause certain def-use chains to be passed. We have developed a tool which automatically generates a system of test c...
متن کاملGenetic Symbiosis Algorithm Generating Test Data for Constraint Automata
Constraint automata are a semantic model for XML modeling language. Testing correctness of mapping black-box components in XML to constraint automata is an important problem in analyzing the semantic model of XML and requires a collection of test data that cover different scenarios. In this paper, Genetic Algorithm (GA) is employed to generate such set of test cases. This test data generation i...
متن کاملOConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems
The more complex to develop and manage systems the more software design faults increase, making fault-tolerant systems highly required. To ensure their quality, the normal and exceptional behaviors must be tested and/or veri ed. Software testing is still a di cult and costly software development task and a reasonable amount of e ort has been employed to develop techniques for testing programs' ...
متن کاملWebMate: Generating Test Cases for Web 2.0
Web applications are everywhere—well tested web applications however are in short supply. The mixture of JavaScript, HTML and CSS in a variety of different browsers makes it virtually impossible to apply static analysis techniques. In this setting, systematic testing becomes a real challenge. We present a technique to automatically generate tests for Web 2.0 applications. Our approach systemati...
متن کاملGenerating Goal-Oriented Test Cases
This paper describes an AI planner assisted approach to generate test cases for system testing based on high level test objectives. Test generation is based on an extended UML model of the system under test and a mapping of high-level test objectives into initial and goal conditions of the planner. We illustrate the use of this approach on a series of high level test objectives one might apply ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software Engineering and Applications
سال: 2018
ISSN: 2325-2286,2325-2278
DOI: 10.12677/sea.2018.72012